A Rust Shaped Hole
mnvr.in·21h·
Discuss: Hacker News
🦀Rust Macros
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·15h
🔤Type Theory
DCR: Quantifying Data Contamination in LLMs Evaluation
arxiv.org·5h
✨Effect Handlers
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.com·2d·
Discuss: r/programming
✅Format Verification
Daniel Linssen’s Typing Challenge
managore.itch.io·12h
🖋Typography
Helix Editor Release 25.07 Highlights
helix-editor.com·13h·
Discuss: Lobsters, Hacker News, r/linux
🌳Incremental Parsing
Historical highlights?
logicmatters.net·21h
🔀Category Theory
Show HN: Notsc – A CLI to Scaffold Node.js and TypeScript API Projects
npmjs.com·1d·
Discuss: Hacker News
🔌Interface Evolution
I'm Switching to Python and Actually Liking It
cesarsotovalero.net·1h·
Discuss: Hacker News
🌀Brotli Internals
Grok 4 Arrives With Impressive Coding Powers
hackernoon.com·2d
🗣️Domain-Specific Languages
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.com·3h
🔧RISC-V Assembler
A Rust shaped hole
ente.io·2d
🦀Rust Macros
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.com·9h·
Discuss: Lobsters, Hacker News
🛡️eBPF Security
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·17h·
Discuss: Hacker News, r/programming
🔒Type Safety
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
What can we expect of LLMs as Software Engineers?
chelseatroy.com·1d
📝Text Parsing
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing